- 2 402 202 книги
#1
La Catastrophe: The Eruption of Mount Pelee, the Worst Volcanic Disaster of the 20th Century
Alwyn Scarth
36.44 Mb
#3
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)
Saddek Bensalem, Doron A. PeledКатегория: Компьютеры
2.38 Mb
#4
Shattered Vessels: Memory, Identity, and Creation in the Work of David Shahar (Suny Series in Modern Jewish Literature and Culture)
Michal Peled Ginsburg, Moshe RonКатегория: Литература, Литературоведение
999 Kb
#5
Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Zohar Manna, Doron A. PeledКатегория: Компьютеры
3.93 Mb
#9
Ethnic Challenges to the Modern Nation-state
Shlomo Ben-Ami, Yoav Peled, Alberto Spektorowski
1.62 Mb
#10
Threshold Graphs and Related Topics (Annals of Discrete Mathematics, Volume 56)
N.V.R. Mahadev, U.N. PeledКатегория: Математика
11.46 Mb
#11
Being Israeli: The Dynamics of Multiple Citizenship (Cambridge Middle East Studies)
Gershon Shafir, Yoav PeledКатегория: Образование
1.30 Mb
#13
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ... Lecture Notes in Artificial Intelligence)
Doron A. Peled, Michael Wooldridge
3.68 Mb
#19
Пелядь Coregonus peled (Gmelin 1788): Систематика, экология, морфология, продуктивность.
Решетников Ю.С. и др.Категория: Животные
7.69 Mb
#21
Model checking
Edmund M. Clarke Jr., Orna Grumberg, Doron A. PeledКатегория: Computer science, Algorithms
1.88 Mb
#24
Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics (Kluwer 2003)
A. PeledКатегория: Optics
6.27 Mb
#25
Photo-Excited Processes, Diagnostics and Applications. Fundamentals and Advanced Topics
A. Peled
7.45 Mb
#26
Computer Aided Verification, 16 conf., CAV 2004
Rajeev Alur, Doron A. PeledКатегория: Cs_Computer science, CsLn_Lecture notes
9.94 Mb
#27
Computer Aided Verification, 11 conf., CAV '99
Nicolas Halbwachs, Doron PeledКатегория: Cs_Computer science, CsLn_Lecture notes
5.03 Mb
#28
Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008
Francesco Logozzo, Doron A. Peled, Leonore D. ZuckКатегория: CsLn_
3.97 Mb
#30
NeuroAnalysis: Bridging the Gap between Neuroscience, Psychoanalysis and Psychiatry
Avi Peled
1.22 Mb
#31
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Saddek Bensalem, Doron A. Peled
2.74 Mb
